Techniques of Differential Topology in Relativity